تعداد ۱۷ پاسخ غیر تکراری از ۱۸ پاسخ تکراری در مدت زمان ۰,۷۰ ثانیه یافت شد.

1. A programming language

پدیدآورنده : Iverson, Kenneth E.

موضوع : ، Programming languages )Electronic computers(,، Computer algorithms,، Electronic digital computers-- Programming

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

2. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses

رده :

QA

76

.

6

.

I1775

1997

مشاهده در قفسه مجازی RIS Bibtex ISO

3. An introduction to the general theory of algorithms

پدیدآورنده: Machtey, Michael.

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(,، Computer algorithms,، Recursive functions

رده :

QA

76

.

7

.

M3

مشاهده در قفسه مجازی RIS Bibtex ISO

4. Combinatorial complexes : a mathematical theory of algorithms

پدیدآورنده: Sellers, Peter H.

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(,، Computer algorithms

رده :

QA

76

.

6

.

S448

مشاهده در قفسه مجازی RIS Bibtex ISO

5. Combinatorial complexes : a mathematical theory of algorithms

پدیدآورنده: Peter H. Sellers

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computer programming,، Programming languages )Electronic computers(,، Algorithms

رده :

QA

76

.

6

.

S448

مشاهده در قفسه مجازی RIS Bibtex ISO

6. Definition du language algorithmique algol 68

پدیدآورنده: Buffet, J

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Algorithms,، Algol )Computer program language(,، Programming languages )Electronic computers(

رده :

QA

76

.

5

.

B8

مشاهده در قفسه مجازی RIS Bibtex ISO

7. ‎How to solve it by computer‎

پدیدآورنده: / R. G. Dromey,Dromey

کتابخانه: كتابخانه مركزی (آستان قدس رضوی علیه‌السلام) - تالار كتابهای خارجی (خراسان رضوی)

موضوع: Computer algorithms,Programming languages (Electronic computers)

رده :

005

.

1

D786H

مشاهده در قفسه مجازی RIS Bibtex ISO

8. Interactive computer graphics : data structures, algorithms, languages

پدیدآورنده: Giloi, Wolfgang.

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer graphics,، Interactive computer systems,، Algorithms,، Programming languages )Electronic computers(,، Data structures )Computer science(

رده :

T

385

.

G54

مشاهده در قفسه مجازی RIS Bibtex ISO

9. LYaPAS: a programming language for logic and coding algorithms

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(,، Computer algorithms,، Switching theory

رده :

QA

76

.

5

.

L6313

مشاهده در قفسه مجازی RIS Bibtex ISO

10. LYaPAS: a programming language for logic and coding algorithms

پدیدآورنده: / Edited by M. A. Gavrilov and A. D. Zakrevskii. Translated by Morton Nadler

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Programming languages (Electronic computers),Computer algorithms,Switching theory

رده :

QA76

.

5

.

L613

مشاهده در قفسه مجازی RIS Bibtex ISO

11. Masterminds of programming /

پدیدآورنده: edited by Federico Biancuzzi and Shane Warden.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)

رده :

QA76

.

6

.

M37

2009

مشاهده در قفسه مجازی RIS Bibtex ISO

12. Masterminds of programming

پدیدآورنده: edited by Federico Biancuzzi, Shane Warden

کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)

موضوع: ، Computer programming,، Programming languages )Electronic computers(,، Computer algorithms,، Computer programmers- Interviews,، Programmeertalen.- gtt,، Informatici.- gtt,، Ontwerpers.- gtt

رده :

QA

76

.

6

.

M37

مشاهده در قفسه مجازی RIS Bibtex ISO

13. Masterminds of programming /

پدیدآورنده: edited by Federico Biancuzzi and Shane Warden.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)

رده :

QA76

.

6

.

M37

2009

مشاهده در قفسه مجازی RIS Bibtex ISO

14. Symposium on semantics of algorithmic languages

پدیدآورنده: / edited by E. Engeler

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses

رده :

QA

76

.

7

.

S9

1971

مشاهده در قفسه مجازی RIS Bibtex ISO

15. The Logic of Partial Information

پدیدآورنده: by Areski Nait Abdallah.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.

رده :

QA76

.

7

B937

1995

مشاهده در قفسه مجازی RIS Bibtex ISO

16. The logic of partial information

پدیدآورنده: Nait Abdallah, Areski

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical

رده :

QA

76

.

7

.

N35

1995

مشاهده در قفسه مجازی RIS Bibtex ISO

17. The logic of partial information

پدیدآورنده: Areski Nait Abdallah

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical

رده :

QA

76

.

7

.

N3

مشاهده در قفسه مجازی RIS Bibtex ISO

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است